package FibHeap;


import instrumentation.TrackerCoverage;

public class MainFHeap {
	public static TrackerCoverage track=  TrackerCoverage.getTracker();
  public static void main(String[] args) {
	  FibHeap FibHeap_1 = new FibHeap();
	  Node Node_1 = new Node(7);
	  FibHeap FibHeap_0 = new FibHeap();
	  Node Node_0 = new Node(0);
	   FibHeap_1.removeMin(); FibHeap_1.decreaseKey(Node_1, 8); FibHeap_1.size(); 
 FibHeap_0.decreaseKey(Node_1, 645279515); FibHeap_0.removeMin(); FibHeap_0.toString();
 FibHeap_0.min(); FibHeap_0.insert(5); FibHeap_0.toString(); FibHeap_0.empty();
 FibHeap_0.union(FibHeap_1, FibHeap_1); FibHeap_1.decreaseKey(null, -2147483648);
 FibHeap_1.insert(2147483647); FibHeap_1.removeMin(); FibHeap_1.delete(Node_1);
 FibHeap_1.union(FibHeap_1, FibHeap_1); FibHeap_0.empty(); FibHeap_0.insert(Node_0);
 FibHeap_0.min(); FibHeap_0.insert(Node_1); FibHeap_0.empty(); FibHeap_1.min(); 
 FibHeap_1.union(FibHeap_1, FibHeap_1); FibHeap_1.insert(Node_0); FibHeap_1.insert(0); 
 FibHeap_1.delete(Node_1); FibHeap_0.min(); FibHeap_0.size(); FibHeap_1.decreaseKey(Node_0, 0);
 FibHeap_0.insert(2040667357); FibHeap_1.insert(-5);   FibHeap_0.union(FibHeap_1, FibHeap_0); 
FibHeap_1.delete(Node_0); FibHeap_1.toString(); FibHeap_0.delete(Node_0); 
FibHeap_1.decreaseKey(Node_1, 1699011830); FibHeap_1.toString();  

 FibHeap_1.size(); FibHeap_0.decreaseKey(Node_1, -2); FibHeap_1.removeMin(); 
 FibHeap_1.delete(Node_1); FibHeap_0.delete(Node_0); FibHeap_0.insert(-2147483648); 
 FibHeap_1.removeMin();  FibHeap_0.removeMin(); FibHeap_1.size(); 
 FibHeap_1.union(FibHeap_0, FibHeap_1); FibHeap_1.insert(0); FibHeap_0.toString(); 
 FibHeap_0.decreaseKey(Node_1, -1); FibHeap_0.insert(Node_1); 
		System.out.println(track.toString());
		System.out.println(track.displayCondition());
	  
  }
}